REF, NoConds \\[0ex]($a$ THEN $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$) THEN ($b$))$\cdot$